Rémi Douence: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A systematic study of functional language implementations

Douence, Rémi, Fradet, Pascal

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 268 KB

english, 1998

2

A Generic Reification Technique for Object-Oriented Reflective Languages

Rémi Douence, Mario Südholt

Journal:

Higher-Order and Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 286 KB

english, 2001

3

The next 700 Krivine machines

Rémi Douence, Pascal Fradet

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 676 KB

english, 2007

4

Aspects preserving properties

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 432 KB

english, 2012

5

[ACM Press the 2008 ACM SIGPLAN symposium - San Francisco, California, USA (2008.01.07-2008.01.08)] Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 - Aspects preserving properties

Djoko, Simplice Djoko, Douence, Rémi, Fradet, Pascal

Year:

2008

Language:

english

File:

PDF, 233 KB

english, 2008

6

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Lazier Imperative Programming

Douence, Rémi, Tabareau, Nicolas

Year:

2014

Language:

english

File:

PDF, 404 KB

english, 2014

7

Reactive model transformation with ATL

Martínez, Salvador, Tisi, Massimo, Douence, Rémi

Journal:

Science of Computer Programming

Year:

2016

Language:

english

File:

PDF, 1.17 MB

english, 2016

8

Scoping strategies for distributed aspects

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 440 KB

english, 2010

9

[IEEE 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Oulu, Finland (2011.08.30-2011.09.2)] 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications - Composable Controllers in Fractal: Implementation and Interference Analysis

Hannousse, Abdelhakim, Douence, Remi, Ardourel, Gilles

Year:

2011

Language:

english

File:

PDF, 440 KB

english, 2011

10

Modular and flexible causality control on the Web

Leger, Paul, Tanter, Éric, Douence, Rémi

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 1.05 MB

english, 2013

11

Propagation engine prototyping with a domain specific language

Prud’homme, Charles, Lorca, Xavier, Douence, Rémi, Jussien, Narendra

Journal:

Year:

2014

Language:

english

File:

PDF, 1.60 MB

english, 2014

12

[IEEE 2012 16th European Conference on Software Maintenance and Reengineering (CSMR) - Szeged, Hungary (2012.03.27-2012.03.30)] 2012 16th European Conference on Software Maintenance and Reengineering - Invertible Program Restructurings for Continuing Modular Maintenance

Cohen, Julien, Douence, Rémi, Ajouli, Akram

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

13

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Specialized Aspect Languages Preserving Classes of Properties

Djoko, Simplice Djoko, Douence, Rémi, Fradet, Pascal

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

14

[IEEE 2008 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) - Campo Grande, Brazil (2008.10.29-2008.11.1)] 2008 20th International Symposium on Computer Architecture and High Performance Computing - Aspect-Based Patterns for Grid Programming

Navarro, Luis Daniel Benavides, Douence, Rémi, Hermenier, Fabien, Menaud, Jean-Marc, Südholt, Mario

Year:

2008

Language:

english

File:

PDF, 344 KB

english, 2008

15

[ACM Press the 4th international conference - Chicago, Illinois (2005.03.14-2005.03.18)] Proceedings of the 4th international conference on Aspect-oriented software development - AOSD '05 - An expressive aspect language for system applications with Arachne

Douence, Rémi, Fritz, Thomas, Loriant, Nicolas, Menaud, Jean-Marc, Ségura-Devillechaise, Marc, Südholt, Mario

Year:

2005

Language:

english

File:

PDF, 221 KB

english, 2005

16

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Static analysis of aspect interaction and composition in component models

Hannousse, Abdelhakim, Douence, Rémi, Ardourel, Gilles

Year:

2011

Language:

english

File:

PDF, 2.18 MB

english, 2011

17

[ACM Press the 3rd international conference - Lancaster, UK (2004.03.22-2004.03.24)] Proceedings of the 3rd international conference on Aspect-oriented software development - AOSD '04 - Composition, reuse and interaction analysis of stateful aspects

Douence, Rémi, Fradet, Pascal, Südholt, Mario

Year:

2004

Language:

english

File:

PDF, 1.00 MB

english, 2004

18

[ACM Press the eleventh workshop - Potsdam, Germany (2012.03.26-2012.03.26)] Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages - FOAL '12 - Taming aspects with membranes

Tanter, Éric, Tabareau, Nicolas, Douence, Rémi

Year:

2012

Language:

english

File:

PDF, 465 KB

english, 2012

19

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Concurrent aspects

Douence, Rémi, Le Botlan, Didier, Noyé, Jacques, Südholt, Mario

Year:

2006

Language:

english

File:

PDF, 215 KB

english, 2006

20

[ACM Press the 8th ACM international conference - Charlottesville, Virginia, USA (2009.03.02-2009.03.06)] Proceedings of the 8th ACM international conference on Aspect-oriented software development - AOSD '09 - Expressive scoping of distributed aspects

Tanter, Éric, Fabry, Johan, Douence, Rémi, Noyé, Jacques, Südholt, Mario

Year:

2009

Language:

english

File:

PDF, 604 KB

english, 2009

21

[IEEE 2015 IEEE Trustcom/BigDataSE/ISPA - Helsinki, Finland (2015.8.20-2015.8.22)] 2015 IEEE Trustcom/BigDataSE/ISPA - A Language for the Composition of Privacy-Enforcement Techniques

Cherrueau, Ronan-Alexandre, Douence, Remi, Sudholt, Mario

Year:

2015

Language:

english

File:

PDF, 319 KB

english, 2015

22

Using finite transducers for describing and synthesising structural time-series constraints

Beldiceanu, Nicolas, Carlsson, Mats, Douence, Rémi, Simonis, Helmut

Journal:

Year:

2016

Language:

english

File:

PDF, 1.42 MB

english, 2016

23

CoqTL: a Coq DSL for rule-based model transformation

Cheng, Zheng, Tisi, Massimo, Douence, Rémi

Journal:

Software & Systems Modeling

Year:

2019

File:

PDF, 796 KB

2019